Transition
IIIIIIIIIIII ACEHLMOPSUWZ,ADEHLMOPSUWX BCEHLNOPSVWZ,BDEHLNOQSVWX ICEHLMOPSUWX BCEHLNOQSVWZ BCEGLNOPSUWZ BCEHLNOQSVWZ,BDEHLNOPSVWX BCFGLNOQSUWZ ACEHLMOPSUYZ ACEHLMOPSUYZ BCEHLNOQSVYZ BCEHLNOPSVWZ,BDEHLNOQSVWX
0 IIIIIIIIIIII ADFHLMOPSVWX,ADFGLMOPTVYX ACEHLMOQSVYX,ACFGLMOQTVYX BDEHLMOQTVWZ BCFGLNOQSVWZ BCEHLNOQSVWZ,BDFHLNOQSVWX ADEHLMOQSUWX ACEHLMOQSUWZ ACEHLMOPSUWZ BCEHLNOQSVYZ BCEHLNOPSVWZ,BDEHLNOQSVWX
ACFGLMOQSVWZ,BDEGLMOQSUYZ ICFGLMOQSVWZ IIIIIIIIIIII ADFGLNOPSVWZ,ACEGLNOPSUWX ADFGLNOPSVWZ BCFGLNOPSVYZ BCFHLNOPSUWZ,BDFHLNOPSVWX ADEHLMOPSUWX ACEHLMOPSUWZ ACEHLMOPSUWX BCEHLNOQSVYZ BCEHLNOPSVWZ,BDEHLNOQSVWX
0 ACFHLNOPSVWZ,ADFHLNOQSUWZ 0 IIIIIIIIIIII ACFHLNOQSVWZ BCEGLNOQSVWZ BCEHLNOQSVYZ,BDEHLNOQSVWX ADEHLMOQSUWX ACEHLMOQSUYZ ACEHLMOPSUWZ BCEHLNOQSVWZ BCEHLNOPSVWZ,BDEHLNOQSVWX
0 0 0 0 IIIIIIIIIIII BCEHLNOQSUWZ BCEHLNOPSVWZ,BDEHLNOQSVYX ADEHLMOPSUWX ACEHLMOQSUYX ACEHLMOPSUWZ BCEHLNOQSVWZ BCEHLNOPSVWZ,BDEHLNOQSVWX
0 0 0 0 0 IIIIIIIIIIII BCFHLNOQSVWZ,BDEHLNOPSVWX ADEHLMOQSUWX ACEHLMOPSUWZ ACEHLMOPSUWX BCEHLNOQSVYZ BCEHLNOPSVWZ,BDEHLNOQSVWX
0 0 0 0 0 0 IIIIIIIIIIII ADEHLMOQSUWX ACEHLMOPSUYZ ACEHLMOPSUWX BCEHLNOQSVYZ BCEHLNOPSVWZ,BDEHLNOQSVWX
0 0 0 0 0 0 0 IIIIIIIIIIII ACEHLMOPSUWZ ACEHLMOPSUWX BCEHLNOQSVWZ BCEHLNOPSVWZ,BDEHLNOQSVWX
0 0 0 0 0 0 0 ACEHLMOPSUYZ IIIIIIIIIII ACEHLMOPSUWX BCEHLNOQSVWZ BCEHLNOPSVWZ,BDEHLNOQSVWX
0 0 0 0 0 0 0 ACEHLMOPSUWZ ACEHLMOPSUWX IIIIIIIIIII BCEHLNOQSVWZ BCEHLNOPSVWZ,BDEHLNOQSVWX
0 0 0 0 0 0 0 ACEHLMOPSUYZ ACEHLMOPSUYX BCEHLNOQSVWZ IIIIIIIIIII BCEHLNOPSVWZ,BDEHLNOQSVWZ
0 0 0 0 0 0 0 ACEHLMOPSUYZ ACEHLMOPSUYX BCEHLNOQSVWZ BCEHLNOPSVWZ,BDEHLNOQSVWZ IIIIIIIIIII
Unkown_Transition_by
0 0 0 0 0 0 0 0
0 0 t1 0 0 0 0 0
0 0 0 c 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 t1 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
Name_State
s0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11
Initial_State
s0
Atomic_propositions
a b c d e f g h
Labelling
1 0 0 0 0 0 0 1
0 0 0 0 1 0 0 1
0 0 1 0 0 0 0 1
1 0 0 0 0 0 0 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
0 1 1 1 0 1 1 1
0 1 0 1 0 1 0 1
1 1 1 1 1 1 1 1
0 1 1 1 1 0 0 1
Number_of_agents
5